We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

Many authors in the discipline as well as outsiders have claimed that the main results from Mathematical Economics are far removed from real world phenomena. A more precise version of this position is that one of the main reasons for this unrealistic stance is the use of the wrong formal tools. So, for example, it has been pointed out that the computability of choice functions as well as the existence of economic equilibria and of states of the world may not (...) be ensured in general if the assumed set theory is ZFC. We will show that there exists a very natural set theory that overcomes some formal limitations of contemporary economic theory. A switch to an alternative set theory helps to obtain in a more natural way results widely accepted by mathematical economists. Moreover, alternative set-theoretical frameworks convey different intuitions about how agents behave when solving problems. We claim that AFA−+AD+DC is the adequate alternative set-theoretical universe for economic theory. (shrink)

The usual procedure in the theory of social choice consists in postulating some desirable properties which an aggregation procedure should verify and derive from them the features of a corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations the criteria verified in the implicit aggregation procedure. This inference process, which extracts intensional from extensional information (...) can be seen as an exercise in “qualitative statistics”. (shrink)

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic (Peirce’s Existential Graphs α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}). The straightforward construction of a presheaf category EGα∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_{\alpha ^{*}}$$\end{document} of cuts-only Existential Graphs (equivalent to the well-studied category of finite forests) provides a basis for the further construction of the category EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_\alpha $$\end{document} which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

Peirce’s diagrammatic system of Existential Graphs (EGα)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha })$$\end{document} is a logical proof system corresponding to the Propositional Calculus (PL). Most known proofs of soundness and completeness for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} depend upon a translation of Peirce’s diagrammatic syntax into that of a suitable Frege-style system. In this paper, drawing upon standard results but using the native diagrammatic notational framework of the graphs, we present (...) a purely syntactic proof of soundness, and hence consistency, for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document}, along with two separate completeness proofs that are constructive in the sense that we provide an algorithm in each case to construct an EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} formal proof starting from the empty Sheet of Assertion, given any expression that is in fact a tautology according to the standard semantics of the system. (shrink)

We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to (...) account for the existence of some of them. We find conditions that guarantee superrational outcomes. (shrink)

Iterated admissibility embodies a minimal criterion of rationality in interactions. The epistemic characterization of this solution has been actively investigated in recent times: it has been shown that strategies surviving \ rounds of iterated admissibility may be identified as those that are obtained under a condition called rationality and m assumption of rationality in complete lexicographic type structures. On the other hand, it has been shown that its limit condition, with an infinity assumption of rationality ), might not be satisfied (...) by any state in the epistemic structure, if the class of types is complete and the types are continuous. In this paper we analyze the problem in a different framework. We redefine the notion of type as well as the epistemic notion of assumption. These new definitions are sufficient for the characterization of iterated admissibility as the class of strategies that indeed satisfy \. One of the key methodological innovations in our approach involves defining a new notion of generic types and employing these in conjunction with Cohen’s technique of forcing. (shrink)

In economically meaningful interactions negotiations are particularly important because they allow agents to improve their information about the environment and even to change accordingly their own characteristics. In each step of a negotiation an agent has to emit a message. This message conveys information about her preferences and endowments. Given that the information she uses to decide which message to emit comes from beliefs generated in previous stages of the negotiation, she has to cope with the uncertainty associated with them. (...) The assessment of the states of the world also evolves during the negotiation. In this paper we analyze the intertwined dynamics of beliefs and decision, in order to determine conditions on the agents that allow them to reach agreements. The framework for decision making we consider here is based on defeasible evaluation of possibilities: an argument for a choice defeats another one if it is based on a computation that better uses all the available information. (shrink)

In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...) along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic. (shrink)

The problems that arise from the presence of self-attacking ar- guments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extensions of argumentation frameworks, which we call sustainable and tolerant. Each one is constructed on the common ground of the powerful concept of admissibility introduced by (...) Dung in [10]. The novelty of this approach consists in viewing the admissibility of a subset of arguments as relative to potentially challenging subsets of arguments. Both sustainable and tolerant semantics are more credulous than preferred semantics (i.e. they justify at least the same arguments, and possibly more). Given certain sufficient conditions they coincide among them as well as with other semantics introduced by Dung. (shrink)

Dung’s argumentation frameworks have been applied for over twenty years to the analysis of argument justification. This representation focuses on arguments and the attacks among them, abstracting away from other features like the internal structure of arguments, the nature of utterers, the specifics of the attack relation, etc. The model is highly attractive because it reduces most of the complexities involved in argumentation processes. It can be applied to different settings, like the argument evaluation of an individual agent or the (...) case of dialectic disputes between two agents (pro and con), or even in multi-agent collective argumentation. The latter case involves agents with possibly different arguments and/or opinions on how to evaluate them, leading to the possibility of considering multiple sets of arguments and attack relations. Two basic questions can be asked here, namely ‘what to aggregate’ and ‘how to aggregate’. The former concerns what kinds of entities do the agents intend to choose (arguments, attacks, assessments, etc.), while the second one focuses on which aggregation mechanisms yield rational choices (voting on arguments, merging procedures to obtain a common argumentation framework, deliberation processes, etc.). In particular, the question about the rationality of a collective argument choice relates this topic to Social Choice and Judgment Aggregation theories, while its associated strategic issues relate it to Game Theory. The research efforts on the disparate problems elicited by collective argumentation have generated a considerable corpus of literature that deserves an orderly evaluation. This survey is intended as a contribution to that end. (shrink)

We explore the relationship between evidence and knowledge when knowledge is described by a standard partition over a finite state space, and evidence is represented by a state-dependent collection of finite sets of messages. When the collection is measurable with respect to the partition, there is evidence for an event only if the event is self-evident—i.e., known at every one of its states. Thus, an event is commonly known in and only if there is _mutual_ evidence that implies that the (...) event has occurred, and all knowledge can be proved only when the agent is informed about the state or knows nothing. The existence of partial provability outside these two extremes hinges on the non monotonic nature of provability. (shrink)

The use of mathematics in economics has been widely discussed. The philosophical discussion on what mathematics is remains unsettled on why it can be applied to the study of the real world. We propose to get back to some philosophical conceptions that lead to a language-like role for the mathematical analysis of economic phenomena and present some problems of interest that can be better examined in this light. Category theory provides the appropriate tools for these analytical approach.

Kaushik Basu presenta el dilema del viajero como un desafío a la teoría de juegos. El desafío ha sido investigado experimentalmente. Al enfrentarse a la versión de Basu del DV o similares, los participantes se comportan como sugiere Basu. Sin embargo, un pequeño cambio en el juego tiene como consecuencia revertir las tendencias de elección. La cuestión es, entonces, si es posible brindar una explicación de los principales hallazgos empíricos como consecuencias de decisiones racionales. Hay varias propuestas en la literatura (...) pero ninguna provee una explicación satisfactoria de por qué expertos en teoría de juegos jugando entre sí usualmente rechazan la única estrategia no dominada del DV. El objetivo de este artículo es sugerir una propuesta alternativa que solucione este problema. (shrink)

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligmans logic of information flow. We show that, taking P.M. Dungs characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dungs extensions of argument systems leads to (...) a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligmans representation of commonsense reasoning. (shrink)

A formal model of abductive inference is provided in which abduction is conceived as expansive and contractive movements through a topological space of theoretical and practical commitments. A pair of presheaves over the space of commitments corresponds to communities sharing commitments on the one hand and possible obstructions to commitments on the other. In this framework, abductive inference is modeled by the dynamics of redistributed communities of commitment made in response to obstructive encounters. This semantic-pragmatic model shows how elementary category (...) theory tools can be used to formalize abductive inference while hewing close to ordinary intuitions about collective agency and reasoning. (shrink)

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the (...) formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the (...) formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...) psychometric measures such as the Exercise Addiction Inventory and the Appearance Anxiety Inventory. The participants were grouped into activity group and non-activity group according to the presence or absence of their exercise habits. The results were compared between these groups, as well as across sport disciplines, while taking into account the relationship between different psychological measures and IPEDs consumption.Results: The frequency of IPEDs use was higher among AG than NAG, although AG participants reported less history of addictions than NAG. The logistic regression analysis revealed that scores equal to or above cutoff points, in both the EAI and AAI, predicted the IPEDs use. Regarding the differences across the various sport disciplines, those who were involved in practicing Weight Lifting and Cross Fit were found to be more at risk of excessive exercising and more inclined to use a wide range of IPEDs.Conclusions: Although exercise could help to increase well-being and prevent addictions during the COVID-19 pandemic, our results show that those in the AG are particularly vulnerable to excessive IPEDs use. Sport disciplines associated with higher EAI and AAI scores have also shown a higher tendency to excessive IPEDs use. Furthermore, the factor of having above the cutoff scores in EAI or AAI in each sport could indicate larger IPEDs consumption regardless of the discipline. In light of the current findings, it is necessary to better define the “non-excessive” levels of exercise in various sport disciplines and an adequate intake of IPEDs to ensure the safety and well-being of people during a pandemic. (shrink)

This research tries to emphasize the unofficial treatment of historical facts in the new historical novels. Los perros del paraíso (Paradise Dogs), by Argentinean writer Abel Posse, shows a particular management of eroticism as a fundamental narrative axis of the events starring Cristobal Colón, Isabel de Castilla and Fernando de Aragón. The novel presents a way to assume the world mediated by power and carnal desire, where the last one, in particular, is the factor that determines the big (...) historical changes —under these three characters— in Spain and America. (shrink)

To begin with -- Genealogy of the cerebral subject -- Disciplines of the neuro -- Cerebralizing distress -- Brains on screen and paper -- Up for grabs.

Los derechos de las personas LGTBI están de actualidad en la sociedad del si- glo XXI. Es nuestro propósito estudiar las normas sobre orientación sexual e identidad de género en los países del Norte de Europa (Reino Unido, Irlanda, Islandia, Finlandia, Dinamarca, Noruega, Suecia, Estonia, Letonia y Lituania). Nos dedicaremos sobre todo al estudio del grado de reconocimiento del derecho al cambio de género en las leyes nacionales, así como si esas legislaciones res- petan o no el Convenio Europeo de (...) Derechos Humanos y la legislación de la Unión Europea, a través de las resoluciones del Tribunal Derechos Humanos y del Tribunal de Justicia de la Unión Europea. (shrink)

L’action est morale si elle est voulue en toute circonstance. Selon la Typique de la faculté de juger pratique, la loi fournit le modèle pour le passage à l’universel. Si ce modèle convient à la première formule del’impératif catégorique, il ne suffit à fonder ni la seconde, ni la troisième. On met en lumière les apories de la pensée kantienne pour indiquer ensuite que la position du problème de la « justice » par Rawls apporte peut-être un principe de solution.

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

Abstract The article addresses three aspects of the humanitarian intervention doctrine. It argues, first, that the value of sovereignty rests on the justified social processes of the target state ? the horizontal contract. Foreign interventions, even when otherwise justified, must respect the horizontal contract. In contrast, morally objectionable social processes (such as the subjection of women) are not protected by sovereignty (intervention, of course, may be banned for other reasons). In addition, tyrants have no moral protection against interventions directed at (...) them. Second, the article addresses the internal legitimacy of humanitarian intervention. It concludes that the liberal state may only use voluntary soldiers (either the voluntary army or mercenaries) to conduct humanitarian intervention. Conscription for that purpose is not permissible. The article shows that the long-standing criticism of mercenaries stems from a romantic prejudice and is thus unfair. Third, the article makes a distinction between intention (the determination to perform an action) and motive (a further goal that the agent seeks with that action) and shows that only intention is relevant for humanitarian intervention. A justified humanitarian intervention requires the intention to liberate the victims, but not necessarily a good further motive. It shows how mainstream doctrine has impermissibly confused the two concepts. (shrink)

Com o Sensualismo criam-se condições para uma nova estética, sensível e sensacionalista, que vai transformar as diversas artes (Literatura, Pintura, Escultura) e trazer consigo novas formas de espectáculo: o panorama, a fantasmagoria e o diorama (este, já no início do século XIX). O Eidophusikon, dispositivo de criação e ampliação (sensurround) de novas imagens – um híbrido de teatro e pintura, criado por Philippe de Loutherbourg entre 1781 e 1782 –, insere-se nesse processo e, com a fantasmagoria de Robertson (no final (...) do século XVIII, em França), constitui uma das modalidades do que hoje designamos por pré-cinema. No entanto, apropriando-se das novas condições de representação e de percepção do teatro introduzidas por David Garrick em Drury Lane – que promovem a “absorção” do espectador naquilo que vê em palco –, o Eidophusikon de Loutherbourg (ele próprio, pintor) pode ser considerado um elo em processo da nova concepção de pintura de Diderot – da qual a “promenade Vernet” do Salon de 1767 constitui como que a actualização por escrito. (shrink)

The mental limit may be described as formal fullness of time in accordance with its conditional character in relation with intelligible essence. The metaphysic knowledge includes a methodic exclusion confining time under thematic position in order to its abandonment. The abandonment of formal fullness of time notices being. As a conditional antecedent of thought object, the limit is behind practical action and it is trespassed in it.

This paper studies time in Hegel’s thought according to the interpretation of the topic in Polo’s philosophy. Two senses of the Hegelian time are distinguished as well as it is explained the dialectic development from one to the other. The first sense is tiem understood as the empty form of become, and the second one is the time of the spirit, the pure negative variation which may be designated in modal terms as whole possibility.

L. Polo's doctrine of the first principles is analized focussing the study on causality as an indicator of the trascendentality of being and of its real distinction regarding essence. The concept of totality has its origins in the nonrealization of trascendental value of causality.

This paper investigates the role that universities play in supporting social entrepreneurs (SEs) across their ecosystem. Adopting the resource-based view (RBV) approach, we argue that universities attract, mobilize, and deploy multiple resources that benefit SEs through four main mechanisms (i.e., teaching, research, outreach, and the development of partnerships). We use a qualitative approach of 62 semi-structured interviews and 8 focus groups in Ecuador, Bolivia, and Colombia. Our contribution shows that employing different resources and engaging in supportive activities of universities towards (...) SEs facilitate the development of university capabilities, such as an increased reputation, development of leadership skills for students and staff, and wider access to ecosystem resources that support other university activities related to teaching, research, and community outreach. The role that partnerships play in the development of these capabilities is fundamental, thanks to the different strategic alliances and mobilization of resources between universities and other actors while supporting SEs. This study contributes to our understanding of the role universities can play to intensify the nature of supportive ecosystems for SEs. This contribution is relevant not only to academics but also to practitioners, as this will shed light on the building, development, and scaling of a supportive ecosystem for SEs. (shrink)

El presente artículo aborda lo que se considera que son algunas de las deficiencias de la teoría contemporánea de la sociedad civil. Para ello pasa brevemente revista a la evolución histórica del concepto, y se presenta una selección de sus definiciones contemporáneas. Todas ellas manifiestan una cierta imposibilidad para contemplar la política si no es desde una polarización dualista Estado-Sociedad, que trata de superarse abriéndose el concepto de sociedad civil a una mayor interrelación entre estos dos polos. Asimismo, se afirma (...) que el recurso a la «sociedad civil» sirve para recomponer en el ámbito de la teoría y resolver de un solo golpe dos de las grandes deficiencias que asolan a las relaciones entre sistema político y sociedad: la ausencia de un sujeto unitario claramente delimitado y el déficit de integración normativa. (shrink)

The name of the Genevan critic Jean Starobinski will most likely evoke masterful\nreadings of Rousseau and Montaigne, or insightful reconstructions of the world\nof the Enlightenment. With the possible exception of the history of melancholy,\nmuch more rarely will it be associated with the history of psychology and\npsychiatry. A small number of the critic’s contributions to this field have\nappeared in some of his books. Most of them, however, remain scattered, and\nnothing suggests that they are known as widely as they deserve.\nStarobinski’s work in (...) the history of psychology, psychiatry and psychoanalysis\nis exemplary in its perspective of the problematic relations between\npsychological concepts and experiences, and between medical thought and the\nlarger culture. (shrink)

The notion of naivety is a form of classification and explanation of the social world. By applying Erving Goffman’s expression games model, it is observed that the notion of naivety corresponds to a situation in which an observer assumes that the observed subject does not accommodate his behavior to the presence of the observer, in the assumption that the latter might take advantage from what he learns from it. This article explores this model’s explanatory power in reference to the diverse (...) forms in which the notion of naivety is used in contexts where transinteractive structures of the art world have to be taken into account. La noción de ingenuidad es una forma cotidiana de clasificación y explicación del mundo social. Usando el modelo de juegos de expresión de Erving Goffman, se observa que ella corresponde a la situación en que un actor asume que otro no modifica su comportamiento teniendo en cuenta lo que el primero aprende de él para alcanzar sus propios objetivos. En este artículo se explora la utilidad de este modelo para explicar el uso de la noción de ingenuidad en referencia a estructuras transinteractivas de mundos del arte. (shrink)